منابع مشابه
A Domain Theoretic Account of Picard's Theorem
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn. For the case of vector fields that satisfy a Lipschitz condition, we construct an iterative algorithm that gives two sequences of piecewise linear maps with rational coefficients, which converge, respectively from below and above, exponentially fast to the unique solution of the initial...
متن کاملA domain-theoretic Banach-Alaoglu theorem
We give a domain-theoretic analogue of the classical BanachAlaoglu theorem, showing that the patch topology on the weak* topology is compact. Various theorems follow concerning the stable compactness of spaces of valuations on a topological space. We conclude with reformulations of the patch topology in terms of polar sets or Minkowski functionals, showing, in particular, that the ‘sandwich set...
متن کاملA cone theoretic Krein-Milman theorem in semitopological cones
In this paper, a Krein-Milman type theorem in $T_0$ semitopological cone is proved, in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.
متن کاملCourcelle's Theorem - A Game-Theoretic Approach
Courcelle’s Theorem states that every problem definable in Monadic SecondOrder logic can be solved in linear time on structures of bounded treewidth, for example, by constructing a tree automaton that recognizes or rejects a tree decomposition of the structure. Existing, optimized software like the MONA tool can be used to build the corresponding tree automata, which for bounded treewidth are o...
متن کاملA Coding-Theoretic Application of Baranyai's Theorem
Baranyai’s theorem is a well-known theorem in the theory of hypergraphs. A corollary of this theorem says that one can partition the family of all u-subsets of an n-element set into ( n−1 u−1 ) sub-families such that each sub-family form a partition of the n-element set, where n is divisible by u. In this paper, we present a codingtheoretic application of Baranyai’s theorem (or equivalently, th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2006
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129506005172